Function model - PDFSEARCH.IO - Document Search Engine

Function model
Results: 1865

#	Item
971	Epistemic Coalition Logic: Completeness and Complexity Thomas Ågotnes Natasha Alechina Dept of Information Science and Media Studies Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-02-28 06:45:44 Philosophical logic Model theory Functions and mappings Interpretation Philosophy of mind Function Logical connective Modal logic Entailment Logic Mathematics Metalogic
972	A logic of situated resource-bounded agents Natasha Alechina and Brian Logan University of Nottingham School of Computer Science Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Metalogic Model theory Mathematical logic Logical syntax Interpretation Modal logic Function Constructible universe Well-formed formula Logic Formal languages Mathematics
973	A Logic for Reasoning about Knowledge of Unawareness∗ ˚ Thomas Agotnes and Natasha Alechina Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 15:36:52 Model theory Functions and mappings First-order logic Predicate logic Golden ratio Function Substitution Linear temporal logic Gödel–Gentzen negative translation Logic Mathematics Mathematical logic
974	Full and Relative Awareness: A Decidable Logic for Reasoning about Knowledge of Unawareness Thomas ˚ Agotnes Bergen University College Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 10:29:34 Formal languages Model theory Mathematical logic Logic programming Substitution Symbol Interpretation Entailment Function Logic Mathematics Propositional calculus
975	Logical Omniscience and the Cost of Deliberation Natasha Alechina and Brian Logan School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK, Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Mathematical logic Metalogic Formal languages Entailment Well-formed formula Modal logic Function Constructible universe Model theory Logic Logical syntax Propositional calculus
976	CLASE 2005 Preliminary Version A Constructive Modeling Language for Object Oriented Information Systems Mario Ornaghi a,1 Marco Benini b Mauro Ferrari b Camillo Fiorentini a Alberto Momigliano a Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-02-25 11:01:54 Object-oriented programming Control flow Foreach loop Immutable object Objective-C Object Model theory Function Interpretation Software engineering Computing Computer programming
977	hsbook December 16, 2011 6x9 Copyrighted Material Chapter One Introduction The model of a hybrid system used in this book is informally presented in this Add to Reading List Source URL: press.princeton.edu Language: English - Date: 2011-12-29 12:18:21 Differential equations Systems theory Calculus Continuous function Hybrid system Thyristor State space Control theory Mathematical analysis Mathematics
978	International Journal of Information Security manuscript No. (will be inserted by the editor) J. G. Cederquist · R. Corin · M. A. C. Dekker S. Etalle · J. I. den Hartog · G. Lenzini Add to Reading List Source URL: doc.utwente.nl Language: English - Date: 2011-08-28 12:47:09 Propositional calculus Predicate logic Logical syntax Model theory Euclidean plane geometry Golden ratio First-order logic Entailment Function Logic Mathematics Mathematical logic
979	Optimizing Joins in a Map-Reduce Environment Foto N. Afrati Jeffrey D. Ullman National Technical University of Athens,Greece Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2009-09-14 16:39:17 Database theory Relational database Relation Function Tuple Finitary relation Vector space Relational algebra Mathematics Algebra Relational model
980	ALGORITHMS FOR BOOLEAN FUNCTION QUERY PROPERTIES SCOTT AARONSON∗ Abstract. We investigate efficient algorithms for computing Boolean function properties relevant to query complexity. Such properties include, for exampl Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2006-11-24 03:47:48 Computational complexity theory Analysis of algorithms Boolean algebra Complexity classes Decision tree model Time complexity Circuit complexity Randomized algorithm Circuit Theoretical computer science Applied mathematics Mathematics

UPDATE